﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using NetalBase.Base;
using System.Diagnostics.Contracts;

namespace RmProto.Automata.IA
{
	class Ir : IAStateBase
	{
		public override void e_I_p(CRA.ICRA cr)
		{
			_(() =>
				cr.e_CR_p());
		}
	}
}
